Model Based Software Synthesis for Distributed Control Systems and Sensor Networks

Control systems implemented by distributed embedded nodes require additional coordination and management services. Despite the fact that most of these coordination services are similar across different applications the proliferation of embedded platforms renders it almost impossible to provide these software components in a uniform way. We propose a model based embedded programming approach for specification of individual middleware services at the algorithm level that supports automatic code synthesis for different embedded platforms while making sure that only services with compatible interfaces are used. These executable models allow more extensive analysis of temporal behavior, thus provides better support for composition and compatibility checking between software components. The paper also describes the Distributed Services Composition and Synthesis Technology tool, the prototype implementation of our modeling language capable to generate code for three different platforms: a Java based I/O automata simulator, a resource constrained embedded operating system and a CORBA based control platform.